G. Von Bochmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A quality of service negotiation approach with future reservations (NAFUR): a detailed study

Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli

Journal:

Computer Networks and ISDN Systems

Year:

1998

Language:

english

File:

PDF, 805 KB

english, 1998

2

Precision measurement of the anomalous magnetic moment of the muon

J. Bailey, W. Bartl, G. Von Bochmann, R.C.A. Brown, F.J.M. Farley, H. Jöstlein, E. Picasso, R.W. Williams

Journal:

Physics Letters B

Year:

1968

Language:

english

File:

PDF, 229 KB

english, 1968

3

[IEEE Comput. Soc. Press International Conference on Network Protocols - Tokyo, Japan (7-10 Nov. 1995)] Proceedings of International Conference on Network Protocols - Protocol synthesis using basic Lotos and global variables

Khoumsi, A., von Bochmann, G.

Year:

1995

Language:

english

File:

PDF, 962 KB

english, 1995

4

[IEEE Comput. Soc. Press International Conference on Network Protocols - Tokyo, Japan (7-10 Nov. 1995)] Proceedings of International Conference on Network Protocols - Verification and diagnosis of testing equivalence and reduction relation

Tao, Z.P., von Bochmann, G., Dssouli, R.

Year:

1995

Language:

english

File:

PDF, 668 KB

english, 1995

5

[IEEE Comput. Soc. Press International Conference on Network Protocols - Tokyo, Japan (7-10 Nov. 1995)] Proceedings of International Conference on Network Protocols - Validation of distributed algorithms and protocols

Qiang Gao,, Groz, R., von Bochmann, G., Dargham, J., Htite, E.H.

Year:

1995

Language:

english

File:

PDF, 870 KB

english, 1995

6

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

El-Fakih, Khaled, Bochmann, Gregor von

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

7

The equivalence in the DCP model

Reine Fournier, Gregor von Bochmann

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 772 KB

english, 1991

8

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino

Journal:

Distributed Computing

Year:

2003

Language:

english

File:

PDF, 295 KB

english, 2003

9

Deriving protocol specifications from service specifications written in LOTOS

Christian Kant, Teruo Higashino, Gregor von Bochmann

Journal:

Distributed Computing

Year:

1996

Language:

english

File:

PDF, 524 KB

english, 1996

10

Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control

Jing Wu, James Zhang, Gregor von Bochmann, Michel Savoie

Journal:

Journal of Network and Systems Management

Year:

2012

Language:

english

File:

PDF, 964 KB

english, 2012

11

Precise measurement of the anomalous magnetic moment of the muon

J. Bailey, W. Bartl, G. von Bochmann, R. C. A. Brown, F. J. M. Farley, M. Giesch, H. Jöstlein, S. van der Meer, E. Picasso, R. W. Williams

Journal:

Il Nuovo Cimento A (1971-1996)

Year:

1972

Language:

english

File:

PDF, 3.97 MB

english, 1972

12

Effect of correlations on coherent and incoherent processes in nuclei

G. Von Bochmann, B. Margolis, C.L. Tang

Journal:

Physics Letters B

Year:

1969

Language:

english

File:

PDF, 170 KB

english, 1969

13

Semi-automatic implementation of transport and session protocols

Gregor von Bochmann

Journal:

Computer Standards & Interfaces

Year:

1986

Language:

english

File:

PDF, 588 KB

english, 1986

14

Multi-step contributions to particle production in nuclei

G. Von Bochmann, B. Margolis

Journal:

Nuclear Physics B

Year:

1969

Language:

english

File:

PDF, 425 KB

english, 1969

15

Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method

Gang Luo, von Bochmann, G., Petrenko, A.

Journal:

IEEE Transactions on Software Engineering

Year:

1994

Language:

english

File:

PDF, 1.25 MB

english, 1994

16

Delay-independent design for distributed systems

Von Bochmann, G.

Journal:

IEEE Transactions on Software Engineering

Year:

1988

Language:

english

File:

PDF, 988 KB

english, 1988

17

Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Networks"

Yu, Shen, Wu, Jing, Zhang, James Yiming, von Bochmann, Gregor

Journal:

IEEE Journal on Selected Areas in Communications

Year:

2010

Language:

english

File:

PDF, 116 KB

english, 2010

18

Early relapses in patients with primary CNS lymphoma treated with methotrexate-based chemotherapy without consolidating whole brain irradiation

Tobias Birnbaum, Katja Bochmann, Louisa von Baumgarten…

Journal:

Journal of Neuro-Oncology

Year:

2013

Language:

english

File:

PDF, 301 KB

english, 2013

19

Distributed multimedia and QOS: a survey

Vogel, A., Kerherve, B., von Bochmann, G., Gecsei, J.

Journal:

IEEE Multimedia

Year:

1995

Language:

english

File:

PDF, 891 KB

english, 1995

20

Mitochondrial Gene Polymorphisms That Protect Mice From Colitis

Bär, Florian, Bochmann, Wiebke, Widok, Andrea, von Medem, Kilian, Pagel, Rene, Hirose, Misa, Yu, Xinhua, Kalies, Kathrin, König, Peter, Böhm, Ruwen, Herdegen, Thomas, Reinicke, Anna T., Büning, Jürgen

Journal:

Gastroenterology

Year:

2013

Language:

english

File:

PDF, 2.85 MB

english, 2013

21

[IEEE Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99 - Florence, Italy (1999.09.3-1999.09.3)] Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99 - QoS-aware distributed query processing

Ye, H., Kerherve, B., von Bochmann, G.

Year:

1999

Language:

english

File:

PDF, 33 KB

english, 1999

22

[IEEE Comput. Soc. Press 6th International Workshop on Computer-Aided Software Engineering - Singapore (19-23 July 1993)] Proceedings of 6th International Workshop on Computer-Aided Software Engineering - The Macrotec toolset for CASE-based business modelling

Keller, R.K., Lajoie, R., Ozkan, M., Saba, F., Shen, X., Tao, T., von Bochmann, G.

Year:

1993

Language:

english

File:

PDF, 440 KB

english, 1993

23

[IEEE Comput. Soc. Press IEEE International Workshop on System Management - Toronto, Ont., Canada (19-21 June 1996)] Proceedings of IEEE International Workshop on System Management - Specifying lifecycles of object interactions within distributed systems

Dini, P., von Bochmann, G.

Year:

1996

Language:

english

File:

PDF, 1.02 MB

english, 1996

24

[IEEE Comput. Soc 1998 MultiMedia Modeling. MMM'98 - Lausanne, Switzerland (12-15 Oct. 1998)] Proceedings 1998 MultiMedia Modeling. MMM'98 (Cat. No.98EX200) - Meta-data modelling for quality of service (QoS) management in the World Wide Web (WWW)

Madja, E., Hafid, A., Dssouli, R., von Bochmann, G., Gecsei, J.

Year:

1998

Language:

english

File:

PDF, 41 KB

english, 1998

25

[IEEE Comput. Soc. Press IEEE International Workshop on System Management - Toronto, Ont., Canada (19-21 June 1996)] Proceedings of IEEE International Workshop on System Management - Performance evaluation for distributed system components

Dini, P., von Bochmann, G., Boutaba, R.

Year:

1996

Language:

english

File:

PDF, 978 KB

english, 1996

26

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Realizability of Collaboration-based Service Specifications

Castejon, Humberto Nicolas, Braek, Rolv, von Bochmann, Gregor

Year:

2007

Language:

english

File:

PDF, 308 KB

english, 2007

27

[IEEE Proceedings of 5th IEEE International Symposium on High Performance Distributed Computing - Syracuse, NY, USA (1996.08.6-1996.08.9)] Proceedings of 5th IEEE International Symposium on High Performance Distributed Computing HPDC-96 - A quality of service negotiation procedure for distributed multimedia presentational applications

Hafid, A., von Bochmann, G., Kerherve, B.

Year:

1996

Language:

english

File:

PDF, 1.67 MB

english, 1996

28

[IEEE Comput. Soc. Press [1993]. The 13th International Conference on Distributed Computing Systems - Pittsburgh, PA, USA (25-28 May 1993)] [1993] Proceedings. The 13th International Conference on Distributed Computing Systems - Diagnosis of single transition faults in communicating finite state machines

Ghedamsi, A., von Bochmann, G., Dssouli, R.

Year:

1993

Language:

english

File:

PDF, 999 KB

english, 1993

29

Mesons from Nuclei and Vector Dominance

von Bochmann, G., Margolis, B.

Journal:

Physical Review Letters

Year:

1969

Language:

english

File:

PDF, 495 KB

english, 1969

30

Photon Cross Sections and Vector Dominance

von Bochmann, G., Margolis, B., Tang, C. L.

Journal:

Physical Review Letters

Year:

1970

Language:

english

File:

PDF, 855 KB

english, 1970

31

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - Service-Oriented Virtual Private Networks for Grid Applications

Zhang, Hanxi, Savoie, Michel, Campbell, Scott, Figuerola, Sergi, von Bochmann, Gregorx, Arnaud, Bill St.

Year:

2007

Language:

english

File:

PDF, 304 KB

english, 2007

32

[IEEE Comput. Soc. Press Annual Symposium on Fault Tolerant Computing - Sendai, Japan (25-27 June 1996)] Proceedings of Annual Symposium on Fault Tolerant Computing - A framework for conformance testing of systems communicating through rendezvous

Tan, Q.M., Petrenko, A., von Bochmann, G.

Year:

1996

Language:

english

File:

PDF, 922 KB

english, 1996

33

[IEEE 23rd International Conference on Distributed Computing Systems Workshops, 2003. - Providence, Rhode Island, USA (19-22 May 2003)] 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings. - Scaling server selection using a multi-broker architecture

Mohamed-Salem, M.V.O., von Bochmann, G., Wong, J.W.

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

34

Deriving protocol specifications from service specifications

von Bochmann, G, Gotzhein, R

Journal:

ACM SIGCOMM Computer Communication Review

Year:

1986

Language:

english

File:

PDF, 685 KB

english, 1986

35

[IEE Compt. Soc. Press [1992] 12th International Conference on Distributed Computing Systems - Yokohama, Japan (9-12 June 1992)] [1992] Proceedings of the 12th International Conference on Distributed Computing Systems - Test result analysis and diagnostics for finite state machines

Ghedamsi, A., Bochmann, G.Von.

Year:

1992

Language:

english

File:

PDF, 886 KB

english, 1992

36

A pattern system for network management interfaces

Keller, Rudolf K., Tessier, Jean, von Bochmann, Gregor

Journal:

Communications of the ACM

Year:

1998

Language:

english

File:

PDF, 3.68 MB

english, 1998

37

[ACM Press the ACM SIGCOMM conference - Stowe, Vermont, United States (1986.08.05-1986.08.07)] Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols - SIGCOMM '86 - Deriving protocol specifications from service specifications

von Bochmann, G, Gotzhein, R

Year:

1986

Language:

english

File:

PDF, 685 KB

english, 1986

38

[ACM Press Symposium proceedings - Austin, Texas, United States (1989.09.25-1989.09.27)] Symposium proceedings on Communications architectures & protocols - SIGCOMM '89 - New results on deriving protocol specifications from service specifications

Khendek, F., von Bochmann, G., Kant, C.

Year:

1989

Language:

english

File:

PDF, 921 KB

english, 1989

39

Deriving protocol specifications from service specifications including parameters

Gotzhein, Reinhard, von Bochmann, Gregor

Journal:

ACM Transactions on Computer Systems

Year:

1990

Language:

english

File:

PDF, 1.93 MB

english, 1990

40

Versunkenes, Erinnerungen aus Alt-Livland und Alt-Rußlandby Helene Hoerschelmann

Review by: Arthur von Bochmann

Journal:

Jahrbücher für Kultur und Geschichte der Slaven (Neue Folge)

Year:

1926

Language:

german

File:

PDF, 199 KB

german, 1926

41

Die livländische Ritterschaft in ihrem Verhältnis zum Carismus und russischen Nationalismusby A. v. Tobien

Review by: Arthur von Bochmann

Journal:

Jahrbücher für Kultur und Geschichte der Slaven (Neue Folge)

Year:

1926

Language:

german

File:

PDF, 524 KB

german, 1926

42

Alt-Dorpat, Briefe aus den ersten Jahrzehnten der Hochschule. — XXXVIII. Bd.by Wilhelm Stieda

Review by: Arthur von Bochmann

Journal:

Jahrbücher für Kultur und Geschichte der Slaven (Neue Folge)

Year:

1926

Language:

german

File:

PDF, 306 KB

german, 1926

43

Baltische Häuser und Gestaltenby Monika Hunius

Review by: Arthur von Bochmann

Journal:

Jahrbücher für Kultur und Geschichte der Slaven (Neue Folge)

Year:

1926

Language:

german

File:

PDF, 199 KB

german, 1926

44

[IEEE ICC/SUPERCOMM '96 - International Conference on Communications - Dallas, TX, USA (23-27 June 1996)] Proceedings of ICC/SUPERCOMM '96 - International Conference on Communications - A test generation tool for specifications in the form of state machines

Tan, Q.M., Petrenko, A., von Bochmann, G.

Year:

1996

Language:

english

File:

PDF, 597 KB

english, 1996

45

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Realizability of Collaboration-based Service Specifications

Castejon, Humberto Nicolas, Braek, Rolv, von Bochmann, Gregor

Year:

2007

Language:

english

File:

PDF, 308 KB

english, 2007

46

SPIE Proceedings [SPIE SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring - Las Vegas, Nevada, United States (Sunday 20 March 2016)] Electroactive Polymer Actuators and Devices (EAPAD) 2016 - Interface design for DE based stack-actuators considering various application cases

Bar-Cohen, Yoseph, Vidal, Frédéric, Bochmann, Helge, von Heckel, Benedikt, Hoffstadt, Thorben, Maas, Jürgen

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

47

New results on deriving protocol specifications from service specifications

Khendek, F., von Bochmann, G., Kant, C.

Journal:

ACM SIGCOMM Computer Communication Review

Year:

1989

Language:

english

File:

PDF, 921 KB

english, 1989

48

Investigation and enhancement of the adhesion properties for an optimized lamination of DE multilayer stack-transducers

Bochmann, Helge, Heckel, Benedikt von, Maas, Jürgen

Journal:

Smart Materials and Structures

Year:

2016

Language:

english

File:

PDF, 1.34 MB

english, 2016

49

SPIE Proceedings [SPIE SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring - Portland, Oregon, United States (Saturday 25 March 2017)] Electroactive Polymer Actuators and Devices (EAPAD) 2017 - Adhesion enhancement methods for a roll-to-sheet fabrication process of DE stack-transducers and their influences on the electric properties

Bar-Cohen, Yoseph, Bochmann, Helge, von Heckel, Benedikt, Maas, Jürgen

Year:

2017

Language:

english

File:

PDF, 449 KB

english, 2017

50

A practical field trial to assess the potential of Sida hermaphrodita as a versatile, perennial bioenergy crop for Central Europe

von Gehren, P., Gansberger, M., Pichler, Wilfried, Weigl, Martin, Feldmeier, Sabine, Wopienka, Elisabeth, Bochmann, Günther

Journal:

Biomass and Bioenergy

Year:

2019

File:

PDF, 988 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски